KRRT: Knowledge Representation and Reasoning Tutor System
نویسندگان
چکیده
Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is First– Order Logic (FOL), the most representative logic–based representation language, which is part of almost any introductory AI course. In this work we present KRRT (Knowledge Representation & Reasoning Tutor). KRRT is a Web–based system which main goal is to help the student to learn FOL as a KR&R language.
منابع مشابه
Towards a Tutor for Knowledge Representation
We present in this paper a tutorial system for basic concepts in Knowledge Representation. For tutorial purpose, we have chosen a Conceptual Graph Theory, proposed by Sowa as a universal knowledge representation. The tutor is based on visual presentation and use of hypermedia techniques.
متن کاملA novel model of clinical reasoning: Cognitive zipper model
Introduction: Clinical reasoning is a vital aspect of physiciancompetence. It has been the subject of academic research fordecades, and various models of clinical reasoning have beenproposed. The aim of the present study was to develop a theoreticalmodel of clinical reasoning.Methods: To conduct our study, we applied the process of theorysynthesis in accordan...
متن کاملDevelopment of an Intelligent Cavity Layout Design System for Injection Molding Dies (RESEARCH NOTE)
This paper presents the development of an Intelligent Cavity Layout Design System (ICLDS) for multiple cavity injection moulds. The system is intended to assist mould designers in cavity layout design at concept design stage. The complexities and principles of cavity layout design as well as various dependencies in injection mould design are introduced. The knowledge in cavity layout design is ...
متن کاملAutomating Next-Step Hints Generation Using ASTUS
ASTUS is an authoring framework designed to create model-tracing tutors with similar efforts to those needed to create Cognitive Tutors. Its knowledge representation system was designed to model the teacher’s point of view of the task and to be manipulated by task independent processes such as the automatic generation of sophisticated pedagogical feedback. The first type of feedback we automate...
متن کاملAdaptive Algorithms for Personal Agents
Abstarct--This paper presents three projects which represent work in progress. First, a Computerized Adaptive Tutor (CAT) using a novel domain knowledge representation model is discussed. Second, the abstraction to Web documents is proposed using a self-supervised backpropagation network which is trained on alphanumeric characters. Finally, a data visualization scheme using a spirally weighted ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007